DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

In this paper we present a tool that performs CUDA accelerated LTL Model Checking. The tool exploits parallel algorithm MAP adjusted to the NVIDIA CUDA architecture in order to efficiently detect the presence of accepting cycles in a directed graph. Accepting cycle detection is the core algorithmic procedure in automata-based LTL Model Checking. We demonstrate that the tool outperforms non-accelerated version of the algorithm and we discuss where the limits of the tool are and what we intend to do in the future to avoid them

RIAM-VASP module relays integrin complement receptors in outside-in signaling driving particle engulfment

The phagocytic integrins and complement receptors M 2/CR3 and X 2/CR4 are classically associated with the phagocytosis of iC3b-opsonized particles. The activation of this receptor is dependent on signals derived from other receptors (inside-out signaling) with the crucial involvement of the Rap1-RIAM-Talin-1 pathway. Here, we analyze the implication of RIAM and its binding partner VASP in the signaling events occurring downstream of 2 integrins (outside-in) during complement-mediated phagocytosis. To this end, we used HL-60 promyelocytic cell lines deficient in RIAM or VASP or overexpressing EGFP-tagged VASP to determine VASP dynamics at phagocytic cups. Our results indicate that RIAM-deficient HL-60 cells presented impaired particle internalization and altered integrin downstream signaling during complement-dependent phagocytosis. Similarly, VASP deficiency completely blocked phagocytosis, while VASP overexpression increased the random movement of phagocytic particles at the cell surface, with reduced internalization. Moreover, the recruitment of VASP to particle contact sites, amount of pSer157-VASP and formation of actin-rich phagocytic cups were dependent on RIAM expression. Our results suggested that RIAM worked as a relay for integrin complement receptors in outside-in signaling, coordinating integrin activation and cytoskeletal rearrangements via its interaction with VASPThis work has been supported by Ministerio Español de Economía y Competitividad (MINECO) grants: SAF2016-77096-R (ELD and CC), BIO2014:54164-R (PAR), BIO2017-86500-R (MY-M), EI/MICIU EXPLORA BIO2017-91272-EXP & FEDER (PI17/02303) (S.R.-P). AT-G is supported by a predoctoral fellowship from MINECO, JLS-T is supported by a predoctoral fellowship from Universidad Complutense de Madrid, RT-R is supported by a postdoctoral fellowship from Asociación Española Contra el Cáncer (AECC

Periodogram Connectivity of EEG Signals for the Detection of Dyslexia

Electroencephalography (EEG) signals provide an important source of information of brain activity at different areas. This information can be used to diagnose brain disorders according to different activation patterns found in controls and patients. This acquisition technology can be also used to explore the neural basis of less evident learning disabilities such as Developmental Dyslexia (DD). DD is a specific difficulty in the acquisition of reading skills not related to mental age or inadequate schooling, whose prevalent is estimated between 5% and 12% of the population. In this paper we propose a method to extract discriminative features from EEG signals based on the relationship among the spectral density at each channel. This relationship is computed by means of different correlation measures, inferring connectivity-like markers that are eventually selected and classified by a linear support vector machine. The experiments performed shown AUC values up to 0.7, demonstrating the applicability of the proposed approach for objective DD diagnosis

The Use of the Cancellation Technique to Quantify the Hermann Grid Illusion

When observers view a grid of mid-gray lines superimposed on a black background, they report seeing illusory dark gray smudges at the grid intersections, an effect known as the Hermann grid illusion. The strength of the illusion is often measured using the cancellation technique: A white disk is placed over one of these intersections and the luminance of the disk is reduced until the disk disappears. Its luminance at this point, i.e., the disk's detection threshold, is taken to be a measure of the strength of the illusion. Our experiments showed that some distortions of the Hermann grid, which were sufficient to completely disrupt the illusion, did not reduce the disk's detection threshold. This showed that the cancellation technique is not a valid method for measuring the strength of the Hermann grid illusion. Those studies that attempted to use this technique inadvertently studied a different effect known as the blanking phenomenon. We conclude by presenting an explanation for the latter effect

Geographic variation in the sensitivity of recombinant antigen-based rapid tests for chronic trypanosoma cruzi infection

Chagas disease affects 8-11 million people throughout the Americas. Early detection is crucial for timely treatment and to prevent non-vectorial transmission. Recombinant antigen-based rapid tests had high sensitivity and specificity in laboratory evaluations, but no Peruvian specimens were included in previous studies. We evaluated Stat-Pak and Trypanosoma Detect rapid tests in specimens from Bolivia and Peru. Specimens positive by three conventional assays were confirmed positives; specimens negative by two or more assays were confirmed negatives. In Bolivian specimens, Stat-Pak and Trypanosoma Detect tests were 87.5% and 90.7% sensitive, respectively; both showed 100% specificity. Sensitivity in Peruvian specimens was much lower: 26.6-33.0% (Stat-Pak) and 54.3-55.2% (Trypanosoma Detect); both had specificities > 98%. Even in Bolivian specimens, these sensitivities are inadequate for stand-alone screening. The low sensitivity in Peru may be related to parasite strain differences. Chagas disease rapid tests should be field tested in each geographic site before widespread implementation for screening. Copyrigh

International consensus on (ICON) anaphylaxis

ICON: Anaphylaxis provides a unique perspective on the principal evidence-based anaphylaxis guidelines developed and published independently from 2010 through 2014 by four allergy/immunology organizations. These guidelines concur with regard to the clinical features that indicate a likely diagnosis of anaphylaxis -- a life-threatening generalized or systemic allergic or hypersensitivity reaction. They also concur about prompt initial treatment with intramuscular injection of epinephrine (adrenaline) in the mid-outer thigh, positioning the patient supine (semi-reclining if dyspneic or vomiting), calling for help, and when indicated, providing supplemental oxygen, intravenous fluid resuscitation and cardiopulmonary resuscitation, along with concomitant monitoring of vital signs and oxygenation. Additionally, they concur that H1-antihistamines, H2-antihistamines, and glucocorticoids are not initial medications of choice. For self-management of patients at risk of anaphylaxis in community settings, they recommend carrying epinephrine auto-injectors and personalized emergency action plans, as well as follow-up with a physician (ideally an allergy/immunology specialist) to help prevent anaphylaxis recurrences. ICON: Anaphylaxis describes unmet needs in anaphylaxis, noting that although epinephrine in 1 mg/mL ampules is available worldwide, other essentials, including supplemental oxygen, intravenous fluid resuscitation, and epinephrine auto-injectors are not universally available. ICON: Anaphylaxis proposes a comprehensive international research agenda that calls for additional prospective studies of anaphylaxis epidemiology, patient risk factors and co-factors, triggers, clinical criteria for diagnosis, randomized controlled trials of therapeutic interventions, and measures to prevent anaphylaxis recurrences. It also calls for facilitation of global collaborations in anaphylaxis research. In addition to confirming the alignment of major anaphylaxis guidelines, ICON: Anaphylaxis adds value by including summary tables and citing 130 key references. It is published as an information resource about anaphylaxis for worldwide use by healthcare professionals, academics, policy-makers, patients, caregivers, and the public

Inhibition of MicroRNA miR-222 with LNA Inhibitor Can Reduce Cell Proliferation in B Chronic Lymphoblastic Leukemia

MicroRNAs (miRNAs) are small regulatory molecules that negatively regulate gene expression by base-pairing with their target mRNAs. miRNAs have contribute significantly to cancer biology and recent studies have demonstrated the oncogenic or tumor-suppressing role in cancer cells. In many tumors up-regulation miRNAs has been reported especially miR-222 has been shown to be up-regulated in B chronic lymphocytic leukemia (B-CLL). In this study we assessed the effected inhibition of miR-222 in cell viability of B-CLL. We performed inhibition of mir-222 in B-CLL cell line (183-E95) using locked nucleic acid (LNA) antagomir. At different time points after LNA-anti-mir-222 transfection, miR-222 quantitation and cell viability were assessed by qRT-real time polymerase chain reaction and MTT assays. The data were analyzed by independent t test and one way ANOVA. Down-regulation of miR-222 in B-CLL cell line (183-E95) with LNA antagomir decreased cell viability in B-CLL. Cell viability gradually decreased over time as the viability of LNA-anti-mir transfected cells was <47 % of untreated cells at 72 h post-transfection. The difference in cell viability between LNA-anti-miR and control groups was statistically significant (p < 0.042). Based on our findings, the inhibition of miR-222 speculate represent a potential novel therapeutic approach for treatment of B-CLL

The EEG signature of sensory evidence accumulation during decision formation closely tracks subjective perceptual experience

How neural representations of low-level visual information are accessed by higher-order processes to inform decisions and give rise to conscious experience is a longstanding question. Research on perceptual decision making has revealed a late event-related EEG potential (the Centro-Parietal Positivity, CPP) to be a correlate of the accumulation of sensory evidence. We tested how this evidence accumulation signal relates to externally presented (physical) and internally experienced (subjective) sensory evidence. Our results show that the known relationship between the physical strength of the external evidence and the evidence accumulation signal (reflected in the CPP amplitude) is mediated by the level of subjective experience of stimulus strength. This shows that the CPP closely tracks the subjective perceptual evidence, over and above the physically presented evidence. We conclude that a remarkably close relationship exists between the evidence accumulation process (i.e. CPP) and subjective perceptual experience, suggesting that neural decision processes and components of conscious experience are tightly linked